翻訳と辞書 |
Weakly o-minimal structure : ウィキペディア英語版 | Weakly o-minimal structure In model theory, a weakly o-minimal structure is a model theoretic structure whose definable sets in the domain are just finite unions of convex sets. ==Definition== A linearly ordered structure, ''M'', with language ''L'' including an ordering relation <, is called weakly o-minimal if every parametrically definable subset of ''M'' is a finite union of convex (definable) subsets. A theory is weakly o-minimal if all its models are weakly o-minimal. Note that, in contrast to o-minimality, it is possible for a theory to have models which are weakly o-minimal and to have other models which are not weakly o-minimal.〔M.A.Dickmann, ''Elimination of Quantifiers for Ordered Valuation Rings'', The Journal of symbolic Logic, Vol. 52, No. 1 (Mar., 1987), pp 116-128. ()〕
抄文引用元・出典: フリー百科事典『 ウィキペディア(Wikipedia)』 ■ウィキペディアで「Weakly o-minimal structure」の詳細全文を読む
スポンサード リンク
翻訳と辞書 : 翻訳のためのインターネットリソース |
Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.
|
|